منابع مشابه
On a new G-frame and duality
We introduce a new g-frame (singleton g-frame), g-orthonormal basis and g-Riesz basis and study corresponding notions in some other generalizations of frames.Also, we investigate duality for some kinds of g-frames. Finally, we illustrate an example which provides a suitable translation from discrete frames to Sun's g-frames.
متن کاملThe Aluffi Algebra and Linearity Condition
The Aluffi algebra is an algebraic version of characteristic cycles in intersection theory which is an intermediate graded algebra between the symmetric algebra (naive blowup) and the Rees algebra (blowup). Let R be a commutative Noetherian ring and J ⊂I ideals of R. We say that J ⊂I satisfy linearity condition if the Aluffi algebra of I/J is isomorphic with the symmetric algebra. In this pa...
متن کاملLinearity and Bisimulation
Exploiting linear type structure, we introduce a new theory of weak bisimilarity for the π-calculus in which we abstract away not only τ -actions but also non-τ actions which do not affect well-typed observers. This gives a congruence far larger than the standard bisimilarity while retaining semantic soundness. The framework is smoothly extendible to other settings involving nondeterminism and ...
متن کاملHigh Linearity and Efficien
An overview on linearity and efficiency performance optimisation in power amplifier (PA) is presented, stressing the required trade-off demanded to PA designers. For efficiency improvement, the harmonic tuning strategies are discussed, with their advantages and major drawbacks. For linearity improvement, the IMD sweet spot optimisation strategies is presented as a solution to obtain low intermo...
متن کاملLinearity and laziness
A criticism often levelled at functional languages is that they do not cope elegantly or eeciently with problems involving changes of state. In a recent paper 26], Wadler has proposed a new approach to these problems. His proposal involves the use of a type system based on the linear logic of Girard 7]. This allows the programmer to specify the \natural" imperative operations without at the sam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Japanese Slavic and East European Studies
سال: 1989
ISSN: 0389-1186,2434-9887
DOI: 10.5823/jsees.10.0_7